2de8ef315dc517ffd02fda343bdfd0e0f664a570,test/heros/IFDSSolverTest.java,IFDSSolverTest,branch,#,80
Before Change
normalStmt("b1").succ("c", flow("x", "x", "y")),
normalStmt("b2").succ("c", flow("x", "x")),
normalStmt("c").succ("d", flow("x", "z"), flow("y", "w")),
normalStmt("d").succ("e", flow("z"), flow("w")));
helper.runSolver(false, "a");
}
After Change
normalStmt("b1", flow("x", "x", "y")).succ("c"),
normalStmt("b2", flow("x", "x")).succ("c"),
normalStmt("c", flow("x", "z"), flow("y", "w")).succ("d"),
normalStmt("d", flow("z"), flow("w")).succ("e"));
helper.runSolver(false, "a");
}